void kmem_show(char *);
